machine punch - German English Dictionary